Interpolation Theorem for Intuitionistic S4 *
نویسنده
چکیده
By using the Maehara method a proof that the intuitionistic analogue of the Lewis modal system S4 has both Craig and the Lyndon interpolation property
منابع مشابه
On Intuitionistic S4 and Augmented Simplicial Sets
Simplicial, and augmented simplicial (a.s. for short) sets are a basic tool of algebraic topology. On the other hand, S4 is a ubiquitous modal logic. We show that both are intimately related. Notably, every natural deduction intuitionistic S4 proof (defined in Section 2) is naturally interpreted as an a.s. map, once a choice of a.s. sets to represent base types is fixed, in a way that convertib...
متن کاملIndividual ergodic theorem for intuitionistic fuzzy observables using intuitionistic fuzzy state
The classical ergodic theory hasbeen built on σ-algebras. Later the Individual ergodictheorem was studied on more general structures like MV-algebrasand quantum structures. The aim of this paper is to formulate theIndividual ergodic theorem for intuitionistic fuzzy observablesusing m-almost everywhere convergence, where m...
متن کاملThe universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
We introduce the bimodal logic S4.Grzu, which is the extension of Bennett’s bimodal logic S4u by Grzegorczyk’s axiom ( (p→ p)→ p)→ p and show that the lattice of normal extensions of the intuitionistic modal logic WS5 is isomorphic to the lattice of normal extensions of S4.Grzu, thus generalizing the Blok–Esakia theorem. We also introduce the intuitionistic modal logicWS5.C, which is the extens...
متن کاملStrong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
We extend Makkai’s proof of strong amalgamation (push-outs of monos along arbitrary maps are monos) from the category of Heyting algebras to a class which includes the categories of symmetric bounded distributive lattices, symmetric Heyting algebras, Heyting modal S4-algebras, Heyting modal bi-S4-albegras, and Lukasiewicz n-valued algebras. We also extend and improve Pitt’s proof that strong am...
متن کاملIntuitionistic Propositional Logic with Only Equivalence Has No Interpolation
We will show in this paper that there is no interpolation theorem for the fragment of pure equivalence in intuitionistic propositional logic. The computer program that was used to calculate the counterexample by computations on a nite Kripke model is brieey sketched.
متن کامل